directorate of mining research and production - Allemand Anglais Dictionnaire